Opposition entre deux modèles économiques

Modèles mathématiques de la démographie : rapport entre fécondité et variables socio-économiques

Une comparaison entre deux méthodes de preuve de sécurité

In this paper, we compare two methods for security proofs a formal method, and the method by reduction from the complexity theory. A modification of the Otway-Rees protocol is proposed to show out a difference between the two methods : the exchanged key is provably secure in the sense of the BAN logic but it is not when we analyze it by reduction. The difference is due to a limitation of BAN lo...

Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine

Within the framework of collaborative design, it is necessary that specialists of any domain can automatically manage links between different models that are semantically close. Based on a concrete transformation example from a use case diagram (Software Engineering) to a task tree (HCI), languages proposed by model driven engineering (MDE) are evaluated. Our goal is to find an adequate languag...

Modélisation explicite de l'adaptation sémantique entre modèles de calcul

This work takes place in the context of hierarchical heterogeneous modeling using the model of computation approach in order to model complex systems which includes several components from different technical fields. Each of these components is usually designed according to a modeling paradigm that suits the technical domain and is based on specific semantics. Therefore, the overall system, whi...

calcul de l'intervalle minimum entre deux trains

dans cet article i' intervalle entre deux trains successifs a ete etudie en fonction de leur vitesses dans deux cas differents. dans ie premier cas ,on suppose que la vitesse des deux trains a une valeur constante, et on etudie les variations de l'intervalle minimum en fonction de la vitesse on determine la vitesse optimale et on etudie les variations de l'intervalle minimum en f...